Actions with Indirect Effects (Preliminary Report)

نویسندگان

  • G. Neelakantan Kartha
  • Vladimir Lifschitz
چکیده

We deene and study a high-level language for describing actions that extends the language A introduced by Gelfond and Lifschitz. The new language, AR 0 , allows us to describe actions with indirect eeects (ramiications) and simple forms of nondeterminism. A translation from AR 0 into a formalism based on cir-cumscription is proved to be sound and complete .

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Study of Oral Gold ( Auranofin ) in Treatment of Iranian Patient with Rheumatoid Arthritis (RA). Preliminary Report of 6 Months Treatment

28 patients with classical / definite RA entered to a prospective open study evaluating efficacy and side effects of Auranofin. 21 patients completed 6 months of therapy with 6 mg Auranofin daily. Parameters of disease activity including Joint Tenderness Score, Joint Swelling Score, Walking Time and duration of Morning Stiffness improved significantly after 6 months (p<0.001). Grip strength, Su...

متن کامل

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains Š and a Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

Modeling Actions with Rami£cations in Nondeterministic, Concurrent, and Continuous Domains— And A Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994